🏛️ Constructive Type Theory - matmat · Scour

Skip to main content

ScourBrowse Getting Started

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

🏛️ Constructive Type TheorySpecific

Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction

Timeframe

FreshPast HourTodayThis WeekThis Month

Feeds to Scour

SubscribedAll

Scoured 0 posts in 0 µs

No more posts from matmat's subscribed feeds.

Scour all 23706 feeds Learn more about Feeds

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)

Keyboard Shortcuts

Navigation

Next / previous item: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Browse: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help